P Introduction
نویسنده
چکیده
Research on nonmonotonic temporal reasoning in general, and the Yale Shooting Problem in particular, has suffered from the absence of a criterion against which to evaluate solutions. Indeed, researchers in the area disagree not only on the solutions but also on the problems. We propose a formal yet intuitive criterion by which to evaluate theories of actions, define a monotonic class of theories that satisfy this criterion, and then provide their provably-correct nonmonotonic counterpart.
منابع مشابه
Outline Introduction : Gödel ’ s letter Time and space complexity
complexity Reductions, hardness, completeness Projections, provers and verifiers Complexity 3: Feasibility Dusko Pavlovic Introduction Time and space Abstract complexity Reducibility P vs NP Outline Introduction: Gödel’s letter Time and space complexity
متن کاملFoundational Issues in Natural Language Processing: Introduction
Citation Sells, Peter, Stuart M. Shieber, and Thomas Wasow. 1991. Foundational Issues in Natural Language Processing: Introduction. In Foundational Issues in Natural Language Processing: Introduction, ed. Peter Sells, Stuart M. Shieber, and Thomas Wasaw. System Development Foundation Benchmark Series. Cambridge: MIT Press. Introduction reprinted in Carlos P. Otero, ed., Noam Chomsky. 1994. Crit...
متن کاملAn introduction to Skolem’s p-adic method for solving Diophantine equations
In this thesis, an introduction to Skolem’s p-adic method for solving Diophantine equations is given. The main theorems that are proven give explicit algorithms for computing bounds for the amount of integer solutions of special Diophantine equations of the kind f(x, y) = 1, where f ∈ Z[x, y] is an irreducible form of degree 3 or 4 such that the ring of integers of the associated number field h...
متن کاملRandomized Trial of Introduction of Allergenic Foods in Breast-Fed Infants.
BACKGROUND The age at which allergenic foods should be introduced into the diet of breast-fed infants is uncertain. We evaluated whether the early introduction of allergenic foods in the diet of breast-fed infants would protect against the development of food allergy. METHODS We recruited, from the general population, 1303 exclusively breast-fed infants who were 3 months of age and randomly a...
متن کاملComparison of the Occurrence of Transportation-associated Fever in 2 Years Old Thoroughbreds before and after Introduction of Prophylactic Marbofloxacin Administration
In order to reveal the preventive effect of marbofloxacin (MRFX) administration just before transportation, we compared the occurrence of transportation-associated fever before and after introduction of MRFX administration. After the introduction of prophylactic MRFX administration, the rectal temperatures of horses after transportation were significantly lower than before the introduction of M...
متن کاملAn Introduction to Abstract Interpretation
Predicate Transformer (Sketchy) ̧P ‹ post[[X:=E]] ‹ ‚P(fq1; : : : ; qng) where fq1; : : : ; qng „ fp1; : : : ; pkg = ̧P ‹ post[[X:=E]]( n \ i=1 I[[qi]]) def. ‚P = ̧P(f[X=[[E]]] j 2 n \ i=1 I[[qi]]g) def. post[[X:=E]] = ̧P( n \ i=1 f[X=[[E]]] j 2 I[[qi]]g) def. \ = ̧P( n \ i=1 I[[qi[X=E]]]) def. substitution = fpj j I[[qi[X=E]) pj]]g def. ̧P ) fpj j theorem_prover[[qi[X=E]) pj]]g since th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999